Un teorema es una proposición cuya verdad se demuestra. En matemáticas, es toda proposición que, partiendo de un supuesto (hipótesis), afirma una racionabilidad (tesis) no evidente por sí misma.^[1]​

También puede decirse que un teorema es una fórmula bien formada que puede ser demostrada dentro de un sistema formal, partiendo de axiomas, noción y otros teoremas. Demostrar teoremas es un asunto central en la lógica matemática. Los teoremas también pueden ser expresados en lenguaje natural formalizado.

Los teoremas generalmente poseen un número de premisas que deben ser enumeradas o aclaradas de antemano. La conclusión del teorema es una afirmación lógica o matemática que es verdadera bajo las condiciones dadas. El contenido informativo del teorema es la relación que existe entre las hipótesis y la tesis o la conclusión.

Se llama corolario a una afirmación lógica que es consecuencia inmediata de un teorema, pudiendo ser demostrada usando las propiedades del teorema de referencia.